Partiality in physics
نویسندگان
چکیده
We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quantum mechanics, and then search for a mathematical setting capable of providing a satisfactory unification of the two.
منابع مشابه
5 Morality and Reasonable Partiality ∗
What is the relation between morality and partiality? Can the kind of partiality that matters to us be accommodated within moral thought, or are morality and partiality rival sources of normative considerations? These are questions that moral philosophy has struggled with in recent decades.1 They may not have much intuitive resonance, because the term ‘partiality’ is not used much in everyday d...
متن کاملLanguage Independent Refinement Using Partial Modeling
Models express not only information about their intended domain but also about the way in which the model is incomplete, or partial . This partiality supports the modeling process because it permits the expression of what is known without premature decisions about what is still unknown, until later re nements can ll in this information. A key observation of this paper is that a number of partia...
متن کاملRelations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
The calculus of relations has been widely used in program specification and reasoning. It is very tempting to use such specifications as running prototypes of the desired program, but, even considering finite domains, the inherent partiality and non-determinism of relations makes this impractical and highly inefficient. To tame partiality we prescribe the usage of invariants, represented by cor...
متن کاملExplanation and Partiality in Semantic Theory∗
In this paper, I shall argue for a form of partiality in semantics. In particular, I shall argue that semantics, narrowly construed as part of our linguistic competence, is only a partial determinant of content. Likewise, semantic theories in linguistics function as partial theories of content. I shall go on to offer an account of where and how this partiality arises, which focuses on how lexic...
متن کاملPartiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type
Capretta’s delay monad can be used to model partial computations, but it has the “wrong” notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the “right” notion of equality, weak bisimilarity. However, recent work by Chapman et al. suggests that it is impossible to define a monad structure on the resulting construction in common forms of type theory...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره quant-ph/0312044 شماره
صفحات -
تاریخ انتشار 2003